只需证明上述定义的 等于 .

证毕.